1

GEOMETRISATION OF FIRST-ORDER LOGIC

Year:
2015
Language:
english
File:
PDF, 351 KB
english, 2015
3

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

Year:
2019
Language:
english
File:
PDF, 147 KB
english, 2019
4

A New Linear Programming Approach to the Cutting Stock Problem

Year:
1981
Language:
english
File:
PDF, 357 KB
english, 1981
5

Measuring ecological efficiency with data envelopment analysis (DEA)

Year:
2001
Language:
english
File:
PDF, 238 KB
english, 2001
6

A Note on Harmony

Year:
2012
Language:
english
File:
PDF, 1.03 MB
english, 2012
8

Proof-theoretic semantics for a natural language fragment

Year:
2010
Language:
english
File:
PDF, 2.37 MB
english, 2010
12

A New Linear Programming Approach to the Cutting Stock Problem

Year:
1981
Language:
english
File:
PDF, 789 KB
english, 1981
13

Forschungsfeld Learning Analytics

Year:
2012
Language:
german
File:
PDF, 98 KB
german, 2012
14

A typology of cutting and packing problems

Year:
1990
Language:
english
File:
PDF, 1.15 MB
english, 1990
17

Contraction-free sequent calculi for intuitionistic logic

Year:
1992
Language:
english
File:
PDF, 900 KB
english, 1992
19

Proof-Theoretic Semantics for Subsentential Phrases

Year:
2010
Language:
english
File:
PDF, 293 KB
english, 2010
24

Simple Classes of Complete Spaces

Year:
1974
Language:
english
File:
PDF, 77 KB
english, 1974
26

Time Horizon and Dominance in Dynamic Life Cycle Assessment

Year:
2014
Language:
english
File:
PDF, 315 KB
english, 2014
28

Proof-theoretic semantics for a natural language fragment

Year:
2010
Language:
english
File:
PDF, 525 KB
english, 2010
29

Verallgemeinerte DEA-Modelle zur Performanceanalyse

Year:
2010
Language:
german
File:
PDF, 426 KB
german, 2010
32

Sensible Neuropathie als Erstsymptom eines primären Sjögren-Syndroms

Year:
1996
Language:
german
File:
PDF, 50 KB
german, 1996
33

Analytic Tableaux and Related Methods. Part 2: Non-Classical Logics || Editorial

Year:
2001
Language:
english
File:
PDF, 349 KB
english, 2001
43

Trim loss and related problems

Year:
1985
Language:
english
File:
PDF, 1.02 MB
english, 1985
47

Thermopower of some amorphous transition metal-alloys

Year:
1983
Language:
english
File:
PDF, 432 KB
english, 1983